Prototyping reflective architectures for coordination constructs
نویسندگان
چکیده
Concurrency is fundamental to both the expressivity and efficiency of programs today. Systems of multiple concurrent processes require coordination. In the actor model, these coordination constructs are often designed in terms of meta-actors. But there are actually many different approaches to designing an actor meta-architecture, which in turn affect how coordination constructs can be designed. In this paper, we consider the application of request-based reflection to prototyping actor meta-architectures. We define the actor model in terms of a reflective language, and consider how this technique differs from other approaches. We then use the reflective language to introduce additional layers of functionality: local synchronization constraints, statically-assigned meta-actors, and dynamically-reassignable meta-actors. The examples indicate that request-based reflection is useful for prototyping a variety of different meta-architectural constructs.
منابع مشابه
Prototyping Languages Related Constructs and Tools with Squeak∗
Prototyping new programming languages is often assimilated as a task requiring heavy expertise in parsing and compilation. This paper argues that choosing as a host platform a language having advanced reflective capabilities helps in reducing the effort and time spent on developing new language related constructs and tools. The Squeak Smalltalk implementation provides very expressive reflective...
متن کاملA System for Experimental Research in Distributed Survivability Architectures1
The survivability of critical infrastructures is not assured today because of their reliance on complex, vulnerable information systems. Survivability enhancement will require changes to system architectures. Experimental systems research in this area is complicated by the private ownership, criticality, and complexity of infrastructure systems. A key research method is therefore to explore and...
متن کاملFormal Specification of Reflective Agents
Many autonomous agents exhibit reflective behaviour: they not only reason about their own behaviour, but also about other agents' behaviour. To model and formally specify such behaviour requires a framework which provides constructs designed for this purpose. DESIRE (framework for DEsign and Specification of Interacting REasoning components; cf. [LPT92], [BTWW94]), a compositional framework for...
متن کاملSpecification and Analysis of System Architecture Using Rapide
| Rapide is an event-based concurrent, objectoriented language speci cally designed for prototyping system architectures. Two principle design goals are (1) to provide constructs for de ning executable prototypes of architectures, and (2) to adopt an execution model in which the concurrency, synchronization, data ow, and timing properties of a prototype are explicitly represented. This paper de...
متن کاملSpeci cation and Analysis of SystemArchitecture Using
| Rapide is an event-based concurrent, object-oriented language speciically designed for prototyping system architectures. Two principle design goals are (1) to provide constructs for deening executable prototypes of archi-tectures, and (2) to adopt an execution model in which the concurrency, synchronization, dataaow, and timing properties of a prototype are explicitly represented. This paper ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009